проблема подстановки

См. также в других словарях:

• Четырнадцатая проблема Гильберта — Четырнадцатая проблема Гильберта  четырнадцатая из проблем, поставленных Давидом Гильбертом в его знаменитом докладе на II Международном Конгрессе математиков в Париже в 1900 году. Она посвящена вопросу конечной порождённости возникающих при …   Википедия

• ТОЖДЕСТВО —         понятие, выражающее предельный случай равенства объектов, когда не только все родовидовые, но и все индивидуальные их свойства совпадают. Совпадение родовидовых свойств (сходство), вообще говоря, не ограничивает числа приравниваемых… …   Философская энциклопедия

• тождество —         ТОЖДЕСТВО понятие, обычно представленное в естественном языке либо в форме «я (есть) то же, что и Ь >, или «а тождественно Ь», что может быть символизировано как «а = Ь» (такое утверждение обычно называют абсолютным Т.), либо в форме… …   Энциклопедия эпистемологии и философии науки

• ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

• ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …   Философская энциклопедия

• Логика — (греч. logike̅́)         наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л …   Большая советская энциклопедия

• АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ — направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле… …   Математическая энциклопедия

• ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

• КУЛЬТУРНОЕ ИЗМЕНЕНИЕ —         процесс изменения культурных паттернов об ва. Этот процесс может протекать в разл. формах, и вся их сумма охватывается данным понятием. К.и. универсально: оно происходит всегда и везде. Вместе с тем, оно неизменно осуществляется в опр.… …   Энциклопедия культурологии

• ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… …   Философская энциклопедия

• Теория связи в секретных системах — Communication Theory of Secrecy Systems Автор: Шеннон К. Жанр: Криптология …   Википедия